Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
901	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
902	This Transcript has not been proof read or corrected Add to Reading List Source URL: www.catribunal.org.uk Language: English - Date: 2015-02-04 07:31:03 Marxist theory Economic theories
903	THE 4-CLASS GROUP OF REAL QUADRATIC NUMBER FIELDS FRANZ LEMMERMEYER Abstract. In this paper we give an elementary proof of results on the structure of 4-class groups of real quadratic number fields originally due to A. S Add to Reading List Source URL: www.fen.bilkent.edu.tr Language: English - Date: 2003-09-11 11:03:59 Mathematics Quadratic field Discriminant Quaternion algebra Splitting of prime ideals in Galois extensions Algebraic number field Quadratic reciprocity Ideal class group Discriminant of an algebraic number field Abstract algebra Algebraic number theory Algebra
904	On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics Add to Reading List Source URL: research-repository.st-andrews.ac.uk Language: English - Date: 2015-02-02 11:56:50 Mathematics Philosophical logic Modal logic Non-classical logic Sequent Kripke semantics Lambda calculus Natural deduction Logic Mathematical logic Proof theory
905	A General Proof of the Multidimensional Binary Indexing Algorithm for Neighbourhood Calculations in Spatial Partition Trees José Poveda, Michael Gould Departamento de Lenguajes y Sistemas Informáticos Universitat Jaume Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2004-03-14 14:02:28 Quadtree Octree Tree traversal Binary trees Z-order curve R-tree K-d tree Computing Graph theory Data management
906	41 Making Rules Explicit and Following Them ∗ M ATHIEU M ARION AND M ITSUHIRO O KADA Let us begin with a little story about logic in Ancient Greece.1 In Lesser Hippias, Socrates is arguing with the eponymous Sophist ov Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:08 Logical consequence Propositional calculus Logical truth Proof theory What the Tortoise Said to Achilles Inference Hippias Minor Rule of inference Plato Logic Philosophy Philosophical logic
907	Group communication and the transformation of judgments: an impossibility result Christian List, LSE March[removed]April[removed]Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2010-07-09 10:33:39 Mathematical logic Philosophy of language Theories of truth Philosophical logic Proof theory Proposition Truth Judgment Deliberative democracy Logic Philosophy Mathematics
908	A Substructural Type System for Delimited Continuations? Oleg Kiselyov1 and Chung-chieh Shan2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-04-21 02:44:20 Type theory Lambda calculus Proof theory Data types Logic in computer science Simply typed lambda calculus Type system Natural deduction Curry–Howard correspondence Software engineering Theoretical computer science Computing
909	A Tutorial on the Curry-Howard Correspondence Darryl McAdams April 9, 2013 Abstract Typical introductions to the Curry-Howard Correspondence employ Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-08-26 10:29:00 Proof theory Propositional calculus Deduction Boolean algebra Natural deduction Curry–Howard correspondence Negation Rule of inference Existential quantification Logic Mathematical logic Mathematics
910	HKEx GUIDANCE LETTER HKEx-GL74-14 (March[removed]Summary Subject Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2014-03-24 06:46:14 Proof theory Evidence law Hong Kong Exchanges and Clearing Mathematical logic Proof Mathematical proof Logic Mathematics Theoretical computer science

UPDATE